CertiK

CertiK – это инфраструктура, построенная на языке DeepSEA, где в качестве ядра операционной системы используется CertiKOS и виртуальная машина CertiKVM. Все инструменты нацелены на создание безопасных и прозрачных систем. Проверку децентрализованной сети на защиту осуществляет CertiK Security Oracle, которые учитывает все возможные критерии. Если созданный разработчиками код оказался достаточно надежным, то система вознаграждает разработчика местными токенами CTK.

Основателями компании являются Ронгхуи Гу и Жонг Шао. CertiK открылась в декабре 2017 г., головной офис располагается в городе Нью-Йорк, США. Ронгхуи Гу – доцент Колумбийского университета. Свою научную степень получил в 2016 г. Является разработчиком CertiKOS. Жонг Шао – профессор в Йельском университете, получил научную степень в 1994 г. Сейчас руководит британской компанией Flint Group, которая нацелена на создание новых языков программирования и расширение возможностей созидания различного софта.

Какую пользу CertiK несет для разработчиков

Смарт-контракты являются важной составляющей для современных децентрализованных систем. В отличие от централизованных систем, где каждая компания самостоятельно обеспечивает защиту данных, смарт-контракты работают, основываясь на командах от кодов, а не владельцев. Именно этот неконтролируемый код должен регулировать операции на миллионы долларов США.

Ценность смарт-контрактов постоянно увеличивается. Стоит взглянуть на Binance Smart Chain, где сумма активов в них увеличилась в 8 раз за несколько месяцев. Это побуждает компании искать новые пути защиты DeFi активов.

Когда смарт-контракт создан, то его нельзя изменять, поэтому безопасность необходимо обеспечить до его выпуска. Любая неточность – возможность для хакеров получить доступ к средствам. Именно в целях исключения подобных случаев и работает CertiK.

Как определяется рейтинг безопасности проектов

CertiK предоставляет своим пользователям возможность получать информацию о самых безопасных проектах из своего рейтинга. При формировании рейтинга CertiK используются следующие методы оценки безопасности:

1. История аудита. Для каждой рассматриваемой компании проводится аудит, цель которого – найти уязвимость в коде. Все данные проверки контрактов доступны пользователям в сокращенной версии на сайте. Полный отчет можно скачать в формате PDF, чтобы досконально изучить проблемы и их нюансы.
2. Skynet. Skynet– это набор цепочек инструментов безопасности, которые используются для автоматизации процесса проверки развернутых смарт-контрактов, что позволяет лучше рассмотреть уязвимости и узнать о них что-то новое. Все данные о рисках можно оценить в режиме реального времени. Для облегченного восприятия полученной информации отчет дополняется визуальными эффектами, которые наглядно показывают сильные и слабые стороны DeFi платформы.
3. Анализ настроения. Рассматривает изменения рынка в режиме реального времени. Здесь можно увидеть список ключевых слов, отношение людей к продукту в сети, тенденции и визуализировать активность учетной записи Twitter.
4. Мониторинг. Главный источник знаний об особенностях транзакции в платформе. Лучше использовать, когда необходима подробная аналитика определенного фрагмента в цепочке защиты кода. Графики данных выдаются за 7, 14 или 30 предыдущих дней.
5. Оракул безопасности. Инструмент, позволяющий отслеживать и защищать транзакции в цепочке в реальном времени. Оценка безопасности определяется через децентрализованную сеть узлов, что демонстрирует максимальную беспристрастность CertiK. Полученную оценку не всегда легко правильно интерпретировать, ведь все зависит от достигаемой цели. Оракул может быть интегрирован в работу любой системы.

Благодаря общей силе предоставляемых знаний, пользователь проекта CertiK получает возможность с максимальной точностью и беспристрастностью определить безопасность рассматриваемой платформы. База данных включает информацию о множестве проектов, которые формируют таблицу лидеров. Она позволяет ориентировочно формировать топ лучших компаний DeFi.

Как проверить безопасность проекта в Certik

Каждый желающий разработчик может проверить безопасность своего сервиса. Для этого ему потребуется заказать аудит от CertiK, который, в зависимости от цели проверки, бывает 4 видов:

1. Краудсейл или токен-контракты.
2. Смарт-контракты.
3. Кошельки и dapps.
4. Блокчейн протоколы.

Преимущества выбора CertiK для аудита проекта:

1. Экспертные знания.
2. Время между получение и выполнение заказа 48 часов.
3. Использование уникальных запатентованных технологий.
4. Результаты аудита признаются биржами.
5. Бесплатные квоты для некоторых проектов.
6. Прозрачность отчетов.

Как поэтапно проходит аудит:

1. Обзор исходного кода.
2. Оценка индивидуальной стоимости заказа.
3. Подробный разбор исходного кода.
4. Формирование списка мер, которые рекомендуется предпринять для исправления недочетов.
5. Завершение аудита и предоставление соответствующего сертификата.

Отчет о завершенной работе составляется в индивидуальном порядке для каждого клиента и полностью отражают имеющиеся проблемы. Все недочеты группируются по степени серьезности (критическая, средняя и малая). Для каждой из уязвимостей составляется свой список рекомендованных мер по устранению. К отчету также прикладывается исходный код с аннотациями и метками, позволяющими на бумаге увидеть плоды и ход работы с подтверждениями сделанных экспертом выводов.

Токен CTK, его использование и токеномика

Для полноценного функционирования проекта требовался собственный коин, коим выступил CTK. Токен необходим для безопасного расчета между участниками, оплаты сборов и экономического стимула поощрения пользователей. Общая эмиссия составляет 100 млн CTK. Майнинг основан на системе Proof-of-Proof, для получения монет необходимо осуществлять проверки безопасности смарт-контрактов.

Конкуренты и сравнение с ними

CertiK – это не единственная компания, предлагающая возможность аудита децентрализованных компаний, использующих смарт-контракты. У проекта есть следующие оппоненты:

1. QEDIT. Компания из Израиля, которая является серьезным конкурентом, но недостаточно популярна у пользователей смарт-контрактов. Часто отличается на арене международных форумов. Так в 2020 г. вошел в список самых популярных стартапов, а в 2021 г. был выбран для участия в проекте DARPA, нацелен на расширение возможностей криптографии. Проигрывает CertiK в качестве готового отчета о проведенном аудите.
2. Hacken. Одна из самых крупных компаний, предоставляет услуги безопасности международным гигантам, которые даже не связаны с блокчейн-технологиями, например, Air Asia.
3. Quantstamp. Члены команды работали в самых крупных IT-компаниях (Apple, Google, Facebook). Кроме аудита предоставляет для своих клиентов программное обеспечение для круглосуточного мониторинга безопасности.
4. Trail of Bits. Занимаются разработкой безопасности и изучением новых возможностей блокчейна. Кроме успехов в сфере аудитов занимаются разработкой ПО для безопасности, например, AlgoVPN.

CertiK в первую очередь предоставляет удобный формат отчетности для клиентов. Пользователь может узнать о каждой мелочи и проследить, как именно эксперт или программное обеспечение смогли найти брешь, а также даст советы по устранению недочета. Каждый из вариантов будет иметь широкую роспись, чтобы последствия и ожидаемый результат были понятны каждому клиенту.

Отзывы и обсуждения